0a67ee9db6673fb277c86f2765fa3424f75b1848,src/graphtea/plugins/main/select/Select.java,Select,Select,#BlackBoard#,31

Before Change


        listen4Event(VertexSelectData.EVENT_KEY);
        listen4Event(EdgeSelectData.EVENT_KEY);
        blackboard.setData(EVENT_KEY, new SubGraph());
        KeyboardFocusManager.getCurrentKeyboardFocusManager().addKeyEventPostProcessor(new KeyEventPostProcessor() {
            public boolean postProcessKeyEvent(KeyEvent e) {
                deSelectOlderSelections = true;
                invertOlderSelections = false;
                if (e.isControlDown())
                    deSelectOlderSelections = false;
                if (e.isShiftDown())
                    invertOlderSelections = true; //not yet implemented //todo: implement
                return false;
            }
        });
    }
    public void track(){}

After Change


        listen4Event(VertexSelectData.EVENT_KEY);
        listen4Event(EdgeSelectData.EVENT_KEY);
        blackboard.setData(EVENT_KEY, new SubGraph());
        KeyboardFocusManager.getCurrentKeyboardFocusManager().addKeyEventPostProcessor(e -> {
            deSelectOlderSelections = true;
            invertOlderSelections = false;
            if (e.isControlDown())
                deSelectOlderSelections = false;
            if (e.isShiftDown())
                invertOlderSelections = true; //not yet implemented //todo: implement
            return false;
        });
    }
    public void track(){}